Composition of Safety Argument Patterns
نویسندگان
چکیده
Argument structure patterns can be used to represent classes of safety arguments. Such patterns can become quite complex, making use of loops and choices, posing a potential challenge for comprehension and evaluation, offsetting the likely gains that might follow from creating arguments using them. We show how complex patterns can be constructed by composition of simpler patterns. We provide a formal basis for pattern composition and show that this notion satisfies certain desirable properties. Furthermore, we show that it is always possible to construct complex patterns by composition in this way. We motivate this work with example patterns extracted from real aviation safety cases, and illustrate the application of the theory on the same.
منابع مشابه
A Systematic Approach for Developing Software Safety Arguments
It is becoming increasingly common to develop safety arguments (also called assurance arguments) to demonstrate that the software aspects of a system are acceptably safe to operate. A software safety argument enables a compelling justification of the sufficiency of the software to be provided, whilst also giving the software developer flexibility to adopt the development approach that is most a...
متن کاملUsing a Software Safety Argument Pattern Catalogue: Two Case Studies
Software safety cases encourage developers to carry out only those safety activities that actually reduce risk. In practice this is not always achieved. To help remedy this, the SSEI at the University of York has developed a set of software safety argument patterns. This paper reports on using the patterns in two real-world case studies, evaluating the patterns’ use against criteria that includ...
متن کاملA Pattern to Argue the Compliance of System Safety Requirements Decomposition
Safety case is a structured argument aimed to argue the system is acceptably safe to operate in a specific environment. Safety cases have been successfully used as documentation to support the certification process of safety-critical systems. Safety case patterns have been used to document recurrent safety argumentation solutions that have evolved over time by providing a simple and efficient s...
متن کاملSafety Case Construction and Reuse using Patterns
This paper presents an approach to the reuse of common structures in safety case arguments through their documentation as ‘Safety Case Patterns’. Problems with the existing, informal and ad-hoc approaches to safety case material reuse are highlighted. We argue that through explicit capture and documentation of reusable safety case elements as patterns, the process of safety case construction an...
متن کاملTowards Safety Case Integration with Hazard Analysis for Medical Devices
Safety case is one of system safety lifecycle products and should be consistent with other lifecycle products like hazard analysis results. In this paper we present a method of safety case integration with hazard tables based on the use of parametrized argument patterns. We describe a hazard table metamodel, a safety argument pattern and a mechanism of pattern instantiation using a linking tabl...
متن کامل